| 1. Identity statement | ||||
| Reference Type | Conference Paper (Conference Proceedings) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identifier | 8JMKD3MGP3W34P/3N5DTC2 | |||
| Repository | sid.inpe.br/mtc-m21b/2017/01.03.17.06 | |||
| Last Update | 2020:06.22.18.43.11 (UTC) administrator | |||
| Metadata Repository | sid.inpe.br/mtc-m21b/2017/01.03.17.06.16 | |||
| Metadata Last Update | 2022:08.22.23.17.12 (UTC) administrator | |||
| Secondary Key | INPE--PRE/ | |||
| Citation Key | AlmeidaMatt:2016:SoC&Em | |||
| Title | Software C&DH embarcado em nanossatélites (ScdhNa)  | |||
| Year | 2016 | |||
| Access Date | 2024, May 16 | |||
| Secondary Type | PRE CN | |||
| Number of Files | 1 | |||
| Size | 251 KiB | |||
| 2. Context | ||||
| Author | 1 Almeida, Danilo Pallamin 2 Mattiello-Francisco, Maria de Fátima | |||
| Resume Identifier | 1 2 8JMKD3MGP5W/3C9JHR8 | |||
| Group | 1 2 CCR-CCR-INPE-MCTI-GOV-BR | |||
| Affiliation | 1 Universidade de São Paulo (USP) 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Author e-Mail Address | 1 2 fatima.matiello@inpe.br | |||
| Conference Name | Seminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE) | |||
| Conference Location | São José dos Campos, SP | |||
| Date | 25-26 jul. | |||
| Publisher | Instituto Nacional de Pesquisas Espaciais | |||
| Publisher City | São José dos Campos, SP | |||
| History (UTC) | 2017-01-20 18:06:10 :: simone -> administrator :: 2016 2018-06-04 02:41:47 :: administrator -> simone :: 2016 2022-04-11 18:00:00 :: simone -> administrator :: 2016 2022-08-22 23:17:12 :: administrator -> simone :: 2016 | |||
| 3. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Abstract | Este trabalho, iniciado em Março de 2016, tem por alvo o desenvolvimento do software que realiza as funções de comando, manipulação de dados e aquisição de telemetria, embarcado do computador de bordo do nanosatélite NANOSATC-BR2, que utiliza o padrão CubeSat. As atividades realizadas até o presente focaram a análise dos requisitos do software de comando e gestão de dados (C&DH). Modelos baseados no formalismo timed automata foram criados com o uso da ferramenta UPPAAL para representar a interoperabilidade entre o computador de bordo do NANOSATC-BR2 e as cargas úteis do nanossatélite. Os modelos serão úteis na análise dos requisitos de cada subsistema, tanto na perspectiva de operação a bordo quanto em solo.A ferramenta UPPAAL permite validar os requisitos em termos de propriedades dos modelos, tais como frequência de visita de comunicação entre computador e carga útil, padrão de interação a ser seguido, e volume de dados a ser transferido, entre outros. Uma das propostas do projeto do NANOSATC-BR2 é desenvolver no Brasil o software de gestão de bordo, em parceria com empresas nacionais emergentes de ex-alunos do INPE, para assim manter esta tecnologia sob domínio do Brasil. A abordagem adotada, pela equipe de pós-graduação da Engenharia de Sistemas do INPE, será orientada a modelos (Model Driven Engineering). Desta maneira, o software embarcado no computador de bordo, tomará como base o modelo aqui desenvolvido para operar o nanossatélite. O NANOSATC-BR2 é um nanossatélite 2U que contará com cargas úteis desenvolvidas tanto internamente no INPE, como em parceria com grupos de pesquisa de universidades brasileiras na UFRGS, UFSM, SMDH, e UFMG. Inicialmente, foram criados modelos de operação individuais entre o computador de bordo com as respectivas cargas úteis. A partir dos requisitos dos subsistemas descritos em linguagem natural, um modelo de interoperabilidade foi gerado para cada carga util, com foco nas suas necessidades de interação com o software de gestão de bordo. Em seguida, estes modelos foram integrados em um único modelo de interoperabilidade representando todas as demandas de interação entre o computador de bordo e as cargas úteis. O desenvolvimento deste modelo de interoperabilidade se insere no processo MDE de verificação e validação de sistemas, prevista em engenharia de sistemas como uma etapa importante no desenvolvimento de projetos críticos intensivos em software. | |||
| Area | ETES | |||
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRE > Software C&DH embarcado... | |||
| Arrangement 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2016 > Software C&DH embarcado... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| data URL | http://mtc-m21b.sid.inpe.br/ibi/8JMKD3MGP3W34P/3N5DTC2 | |||
| zipped data URL | http://mtc-m21b.sid.inpe.br/zip/8JMKD3MGP3W34P/3N5DTC2 | |||
| Language | pt | |||
| Target File | Almeida_software.pdf | |||
| User Group | simone | |||
| Reader Group | administrator simone | |||
| Visibility | shown | |||
| Update Permission | not transferred | |||
| 5. Allied materials | ||||
| Mirror Repository | urlib.net/www/2011/03.29.20.55 | |||
| Next Higher Units | 8JMKD3MGPCW/3EUJHT5 8JMKD3MGPDW34P/478H8MB | |||
| Citing Item List | sid.inpe.br/bibdigital/2013/10.05.15.23 1 | |||
| Host Collection | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notes | ||||
| Notes | Bolsa PIBIC/INPE/CNPq | |||
| Empty Fields | archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume | |||
| 7. Description control | ||||
| e-Mail (login) | simone | |||
| update | ||||